Schätz, Bernhard : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (65)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 7 Requirements Modeling for Embedded Realtime Systems

Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard

Année:

2011

Langue:

english

Fichier:

PDF, 570 KB

english, 2011

2

Integrating Component Tests to System Tests

Bernhard Schätz, Christian Pfaller

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 354 KB

english, 2010

3

Influence of upstream bends on the discharge coefficients of classical venturi tubes and orifice plates

Udo Himpe, Bernhard Götte, Manfred Schatz

Journal:

Flow Measurement and Instrumentation

Année:

1994

Langue:

english

Fichier:

PDF, 600 KB

english, 1994

4

Autoantibodies against granulocyte colony-stimulating factor in Felty's syndrome and neutropenic systemic lupus erythematosus

Bernhard Hellmich, Elena Csernok, Helmut Schatz, Wolfgang L. Gross, Armin Schnabel

Journal:

Arthritis & Rheumatism

Année:

2002

Langue:

english

Fichier:

PDF, 153 KB

english, 2002

5

Darstellung von dreikernigen Carbonylmanganaten sowie deren Reaktionsprodukten mit InCl3; Röntgenstrukturanalysen von K3[Mn3(μ-CO)2(CO)10], [(C6H5)4As]2[(μ-H)Mn3(μ-CO)10], [{(C6H5)3P}2N]2[μ-H)Mn3(CO)12], [(C6H5)4As]2[{μ-H)Mn3(CO)12}2(μ4-In)] und [(C6H5)4As]2[{(μ-H)Mn3(CO)12}(μ3-In){Mn(CO)5}Cl]

Wolfgang Schatz, Hans-Peter Neumann, Bernhard Nuber, Manfred L. Ziegler, Basil Kanellakopulos

Journal:

European Journal of Inorganic Chemistry

Année:

1991

Langue:

german

Fichier:

PDF, 1.12 MB

german, 1991

6

Combining Product Lines and Model-Based Development

Bernhard Schätz

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 332 KB

english, 2007

7

Model-Based Safety-Cases for Software-Intensive Systems

Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 199 KB

english, 2009

8

Preface

Sun Meng, Bernhard Schätz

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 105 KB

english, 2010

9

Microvascular dysfunction in rheumatoid arthritis assessed by laser Doppler anemometry: relationship to soluble adhesion molecules and extraarticular manifestations

Martin F. Meyer, Olga Schmidt, Bernhard Hellmich, Helmut Schatz, Harald H. Klein, Jürgen Braun

Journal:

Rheumatology International

Année:

2007

Langue:

english

Fichier:

PDF, 320 KB

english, 2007

10

Integrierte Entwicklung von Automotive-Software mit AutoFocus

Andreas Bauer, Jan Romberg, Bernhard Schätz

Journal:

Computer Science - Research and Development

Année:

2005

Langue:

german

Fichier:

PDF, 580 KB

german, 2005

11

Das AutoMoDe-Projekt

Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein

Journal:

Computer Science - Research and Development

Année:

2007

Fichier:

PDF, 625 KB

2007

12

Modellbasierte Anforderungsanalyse mit AutoRAID

Eva Geisberger, Bernhard Schätz

Journal:

Computer Science - Research and Development

Année:

2007

Fichier:

PDF, 937 KB

2007

13

AutoFocus– Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme

Manfred Broy, Franz Huber, Bernhard Schätz

Journal:

Computer Science - Research and Development

Année:

1999

Langue:

german

Fichier:

PDF, 1.11 MB

german, 1999

14

SoSyM special section on service-based software engineering

Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz

Journal:

Software & Systems Modeling

Année:

2006

Langue:

english

Fichier:

PDF, 129 KB

english, 2006

15

Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages

Marko Bošković, Dragan Gašević, Claus Pahl, Bernhard Schätz

Journal:

Software & Systems Modeling

Année:

2011

Langue:

english

Fichier:

PDF, 242 KB

english, 2011

16

Modular Functional Descriptions

Bernhard Schätz

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 313 KB

english, 2008

17

Separation of human X and Y spermatozoa by free-flow electrophoresis

Ute Engelmann, Franz Krassnigg, Harald Schatz, Prof. Dr. Wolf-Bernhard Schill

Journal:

Molecular Reproduction and Development

Année:

1988

Langue:

english

Fichier:

PDF, 586 KB

english, 1988

18

Atemwegsbeteiligung bei Rezidivierender Polychondritis

Bernhard Hellmich, Steffen Hering, Hans-Werner Duchna, Gerhard Schultze-Werninghaus, Lutz Freitag, Helmut Schatz, Martin F. Meyer

Journal:

Zeitschrift für Rheumatologie

Année:

2003

Fichier:

PDF, 166 KB

2003

19

In vivo imaging reveals novel aspects of retinal disease progression in Rs1h−/Y mice but no therapeutic effect of carbonic anhydrase inhibition

Ahmad Zhour, Sylvia Bolz, Christian Grimm, Gabriel Willmann, Andreas Schatz, Bernhard H. F. Weber, Eberhart Zrenner, M. Dominik Fischer

Journal:

Veterinary Ophthalmology

Année:

2012

Langue:

english

Fichier:

PDF, 873 KB

english, 2012

20

Low Fcγ receptor III and high granulocyte colony-stimulating factor serum levels correlate with the risk of infection in neutropenia due to Felty’s syndrome or systemic lupus erythematosus

Bernhard Hellmich, Elena Csernok, Masja de Haas, Albert E.G.K.R von dem Borne, Helmut Schatz, Wolfgang L Gross, Armin Schnabel

Journal:

The American Journal of Medicine

Année:

2002

Langue:

english

Fichier:

PDF, 107 KB

english, 2002

21

Activation of transforming growth factor-β1 in diabetic kidney disease

Bernhard Hellmich, Matthias Schellner, Helmut Schatz, Andreas Pfeiffer

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 679 KB

english, 2000

22

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments

Mutter, Florian, Gareis, Stefanie, Schätz, Bernhard, Bayha, Andreas, Grüneis, Franziska, Kanis, Michael, Koss, Dagmar

Année:

2011

Langue:

english

Fichier:

PDF, 2.36 MB

english, 2011

23

Formal Aspects of Component Software (FACS’09)

Meng, Sun, Schätz, Bernhard

Journal:

Science of Computer Programming

Année:

2012

Langue:

english

Fichier:

PDF, 137 KB

english, 2012

24

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 4 Semantics of UML Models for Dynamic Behavior

Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard

Année:

2011

Langue:

english

Fichier:

PDF, 324 KB

english, 2011

25

[Lecture Notes in Computer Science] Model-Based Engineering of Embedded Real-Time Systems Volume 6100 || 8 UML for Software Safety and Certification

Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard

Année:

2011

Langue:

english

Fichier:

PDF, 615 KB

english, 2011

26

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 6959 || Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

Salaün, Gwen, Schätz, Bernhard

Année:

2011

Langue:

english

Fichier:

PDF, 328 KB

english, 2011

27

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 428 KB

english, 2013

28

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 ||

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 22.23 MB

english, 2013

29

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 323 KB

english, 2013

30

Graph and model transformation tools for model migration

Rose, Louis M., Herrmannsdoerfer, Markus, Mazanek, Steffen, Van Gorp, Pieter, Buchwald, Sebastian, Horn, Tassilo, Kalnina, Elina, Koch, Andreas, Lano, Kevin, Schätz, Bernhard, Wimmer, Manuel

Journal:

Software & Systems Modeling

Année:

2014

Langue:

english

Fichier:

PDF, 2.87 MB

english, 2014

31

Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS’11)

Salaün, Gwen, Schätz, Bernhard

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 133 KB

english, 2014

32

Introduction to the SoSyM theme issue on models and evolution

Tamzalit, Dalila, Schätz, Bernhard, Pierantonio, Alfonso, Deridder, Dirk

Journal:

Software & Systems Modeling

Année:

2014

Langue:

english

Fichier:

PDF, 315 KB

english, 2014

33

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Automated Test Case Selection Using Feature Model: An Industrial Case Study

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 401 KB

english, 2013

34

[IEEE 2011 2nd Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC 2011) - Bratislava, Slovakia (2011.09.5-2011.09.6)] 2011 Second Eastern European Regional Conference on the Engineering of Computer Based Systems - 10 Years Model-Driven -- What Did We Achieve?

Schatz, Bernhard

Année:

2011

Langue:

english

Fichier:

PDF, 123 KB

english, 2011

35

[IEEE 2011 IEEE 35th Annual Computer Software and Applications Conference - COMPSAC 2011 - Munich, Germany (2011.07.18-2011.07.22)] 2011 IEEE 35th Annual Computer Software and Applications Conference - From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages

Schatz, Bernhard

Année:

2011

Langue:

english

Fichier:

PDF, 273 KB

english, 2011

36

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Design-Space Exploration through Constraint-Based Model-Transformation

Schätz, Bernhard, Hölzl, Florian, Lundkvist, Torbjörn

Année:

2010

Langue:

english

Fichier:

PDF, 623 KB

english, 2010

37

Towards a formal foundation of behavioral types for UML state-machines

Blech, Jan Olaf, Schätz, Bernhard

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2012

Langue:

english

Fichier:

PDF, 902 KB

english, 2012

38

[IEEE 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Scottsdale, AZ, USA (2013.04.22-2013.04.24)] 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Seamless Model-Based Development of Embedded Systems with AF3 Phoenix

Kondeva, Antoaneta, Ratiu, Daniel, Schatz, Bernhard, Voss, Sebastian

Année:

2013

Langue:

english

Fichier:

PDF, 112 KB

english, 2013

39

[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS) - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Structured Formalization of Service-Oriented Specifications

Herrmannsdoerfer, Markus, Rittmann, Sabine, Schätz, Bernhard

Année:

2009

Langue:

english

Fichier:

PDF, 705 KB

english, 2009

40

[IEEE 2007 International Conference on Systems Engineering and Modeling - Haifa, Israel (2007.03.20-2007.03.23)] 2007 International Conference on Systems Engineering and Modeling - Incremental Integration of Heterogeneous Systems Views

Gleirscher, Mario, Ratiu, Daniel, Schatz, Bernhard

Année:

2007

Langue:

english

Fichier:

PDF, 3.73 MB

english, 2007

41

[IEEE 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Scottsdale, AZ, USA (2013.04.22-2013.04.24)] 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications

Voss, Sebastian, Schatz, Bernhard

Année:

2013

Langue:

english

Fichier:

PDF, 436 KB

english, 2013

42

[IEEE International Automotive Requirements Engineering Workshop (AURE'06 - RE'06 Workshop - Minneapolis, MN (2006.9.11-2006.9.11)] International Automotive Requirements Engineering Workshop (AURE'06 - RE'06 Workshop) - Interdisciplinary Requirements Analysis Using the Model-based RM Tool AUTORAID

Geisberger, Eva, Grunbauer, Johannes, Schatz, Bernhard

Année:

2006

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2006

43

[IEEE 2012 International Workshop on Software Engineering for the Smart Grid (SE4SG) - Zurich, Switzerland (2012.06.3-2012.06.3)] 2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids) - Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach

Koss, Dagmar, Bytschkow, Denis, Kirti Gupta, Pragya, Schatz, Bernhard, Sellmayr, Florian, Bauereiss, Steffen

Année:

2012

Langue:

english

Fichier:

PDF, 403 KB

english, 2012

44

Modellbasierte und Modellgetriebene Softwaremodernisierung

Steffen Becker,Stefan Sauer,Matthias Riebisch,Bernhard Schätz

Journal:

Softwaretechnik-Trends

Année:

2012

Langue:

german

Fichier:

PDF, 118 KB

german, 2012

45

[IEEE 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) - San Jose, CA, USA (2010.11.1-2010.11.4)] 2010 IEEE 21st International Symposium on Software Reliability Engineering - A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models

Wagner, Stefan, Schatz, Bernhard, Puchner, Stefan, Kock, Peter

Année:

2010

Langue:

english

Fichier:

PDF, 250 KB

english, 2010

46

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Clone detection in automotive model-based development

Deissenboeck, Florian, Hummel, Benjamin, Jürgens, Elmar, Schätz, Bernhard, Wagner, Stefan, Girard, Jean-François, Teuchert, Stefan

Année:

2008

Langue:

english

Fichier:

PDF, 302 KB

english, 2008

47

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Evolution of the UML Interactions Metamodel

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2013

48

[IEEE 2015 International Conference and Workshops on Networked Systems (NetSys) - Cottbus, Germany (2015.3.9-2015.3.12)] 2015 International Conference and Workshops on Networked Systems (NetSys) - An energy management system for a smart office environment

Rottondi, Cristina, Duchon, Markus, Koss, Dagmar, Verticale, Giacomo, Schatz, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 842 KB

english, 2015

49

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 460 KB

english, 2013

50

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Parallel Execution of ATL Transformation Rules

Moreira, Ana, Schätz, Bernhard, Gray, Jeff, Vallecillo, Antonio, Clarke, Peter

Année:

2013

Langue:

english

Fichier:

PDF, 391 KB

english, 2013